This book constitutes the refereed proceedings of the 28th International Conference on Applications and Theory of Petri Nets ...
اقرأ المزيدThis book includes contributions from an interdisciplinary field of research we call Socionics. Based on a close cooperation ...
اقرأ المزيدThe behavior of many technical systems important in everyday life can be described using discrete states and state-changing ...
اقرأ المزيدThis book addresses the design of such tools for correct-by-construction synthesis of supervisors for systems and specifications ...
اقرأ المزيدIt contains teaching concurrency; process languages; process mining; software engineering; state space visualisation techniques; ...
اقرأ المزيدThis volume contains the proceedings ofthe international workshop WS-FM(Web Services and Formal Methods) held at Vienna University ...
اقرأ المزيدThis book address the application of formal methods and reasoning techniques to Web service technology, and formal theories ...
اقرأ المزيد